fpf($A$; $a$.$B$($a$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$d$:($A$ List) $\times$ ($a$:\{$a$:$A$$\mid$ ($a$ $\in$ $d$)\} $\rightarrow$$B$($a$))